\begin{tabbing}
(\=(((Auto$\cdot$) \+
\\[0ex]CollapseTHEN (MoveToConcl ({-}1)))$\cdot$) 
\\[0ex]CollapseTHEN (RepUR ``
\-\\[0ex]can{-}apply do{-}apply p{-}lift`` ( 0)$\cdot$))$\cdot$
\end{tabbing}